Time Scale Decomposition of Stochastic Process Algebra Models
نویسنده
چکیده
Realistic models of computer and communication systems result in large, complex performance models. Compositionality, offered by stochastic process algebra constructs a model from submodels which are smaller and more tractable. We present a technique to exploit this structure in order to enhance the solution of the model by decomposition of the underlying Markov process. The decomposition under consideration is time scale decomposition, based on Courtois’s near complete decomposability. This work has been influenced by related work on stochastic Petri nets and presents a major advancement related to a preliminary version of this technique already presented at a workshop of this series. In particular, a transformation technique is developed which is based on a delayed choice operator and preserves equivalence.
منابع مشابه
Stochastic averaging for SDEs with Hopf Drift and polynomial diffusion coefficients
It is known that a stochastic differential equation (SDE) induces two probabilistic objects, namely a difusion process and a stochastic flow. While the diffusion process is determined by the innitesimal mean and variance given by the coefficients of the SDE, this is not the case for the stochastic flow induced by the SDE. In order to characterize the stochastic flow uniquely the innitesimal cov...
متن کاملA Simple Time Scale Decomposition Technique for Stochastic Process Algebras
Many modern computer and communication systems result in large, complex performance models. The compositional approach ooered by stochastic process algebra constructs a model from submodels which are smaller and more easily understood. This gives the model a clear component-based structure. In this paper we present cases when this structure may be used to inform the solution of the model, leadi...
متن کاملApplying Quasi-Separability to Markovian Process Algebra
Stochastic process algebras have become an accepted part of performance modelling over recent years. Because of the advantages of compositionality and exibility they are increasingly being used to model larger and more complex systems. Therefore tools which support the evaluation of models expressed using stochastic process algebra must be able to utilise the full range of decomposition and sol...
متن کاملNew Solutions for Fokker-Plank Equation of Special Stochastic Process via Lie Point Symmetries
In this paper Lie symmetry analysis is applied in order to find new solutions for Fokker Plank equation of Ornstein-Uhlenbeck process. This analysis classifies the solutions format of the Fokker Plank equation by using the Lie algebra of the symmetries of our considered stochastic process.
متن کامل